Epistemic modal logic - PDFSEARCH.IO - Document Search Engine

Epistemic modal logic
Results: 239

#	Item
31	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
32	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
33	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
34	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
35	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
36	Epistemic Conservativity and Imprecise Credence Jason Konek University of Bristol Abstract Add to Reading List Source URL: www.susannaschellenberg.org Language: English - Date: 2015-04-13 10:00:48 Modal logic Philosophical logic Evidentiality Grammar Pragmatics Truth Epistemology Doxastic logic Function Logic Philosophy Mathematics
37	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic
38	Formalising Abilities and Opportunities of Agents B. van Linder W. van der Hoek J.-J. Ch. Meyer Utrecht University Department of Computer Science P.O. Box, 3508 TB Utrecht The Netherlands Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Philosophy Modal logic Epistemology Causality Metaphysics Epistemic modal logic Intelligent agent Software agent Free will Logic Artificial intelligence Mathematical logic
39	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
40	Abstracta SPECIAL ISSUE VI, pp. 6 – 32, 2012 FAITH IN OTHERS1 Guy Longworth Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:07 Belief Immanuel Kant Knowledge Truth Theory of justification Faith Reformed epistemology Epistemic modal logic Philosophy Epistemology Justification